21. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
22. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
23. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
24. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
25. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Frege, Gottlob,8481-5291,، Frege, Gottlob, 8481-5291-- Influence,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24
.
D865
1991
26. Frege and other philosophers
پدیدآورنده : Dummett, Michael
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,Influence ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B3245
.
F24
D865
1991
27. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Frege, Gottlob,8481-5291,Influence. ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical.,، Analysis )Philosophy(
رده :
B
3245
.
F24D9
1991
28. Frege and other philosophers
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Frege, Gottlob, 8481-5291,Influence ، Frege, Gottlob, 8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24D86
1991
29. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
30. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
31. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
32. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
33. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
34. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Mathematical analysis,Logic, symbolic and mathematical
رده :
QA300
.
M86
35. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Matheamtical analysis,Logic, Symbolic and mathematical
رده :
517
.
52
Mu-I
36. Introductory real analysis
پدیدآورنده : Munroe, Marshall Evans
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
37. Introductory real analysis
پدیدآورنده : Munroe, M. Evans)Marshall Evans(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
38. Introductory real analysis
پدیدآورنده : Munroe, M. Evans)Marshall Evans(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
39. Lectures on non-standard analysis
پدیدآورنده : Machover, Moshe
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical,، Uniform spaces
رده :
QA
3
.
L28
no
.
94
40. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47